STM: chain master wf

ABS: cmconfig(list)

STM: cmconfig wf

ABS: cmseq(from;to;num)

STM: cmseq wf

ABS: chain master ind

STM: chain master ind wf

STM: chain master-induction

ABS: chain master ind cmconfig compseq tag def

ABS: chain master ind cmseq compseq tag def

ABS: cmconfig?(x)

STM: cmconfig? wf

ABS: cmconfig-list(x)

STM: cmconfig-list wf

ABS: cmseq?(x)

STM: cmseq? wf

ABS: cmseq-from(x)

STM: cmseq-from wf

ABS: cmseq-to(x)

STM: cmseq-to wf

ABS: cmseq-num(x)

STM: cmseq-num wf